<x | x: Natural>
